Flow control - PDFSEARCH.IO - Document Search Engine

Flow control
Results: 3353

#	Item
781	Verifying Eiffel Programs with Boogie Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch Abstract. Static program Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2011-06-23 07:40:14 Logic in computer science Control flow Object-oriented programming Program logic Procedural programming languages Postcondition Exception handling Eiffel Precondition Software engineering Computing Computer programming
782	UAM VENTILATOR SPECIFICATIONS The ventilator provides automated ventilation in volume and pressure control modes without the need for expensive compressed oxygen or air. Its unique electric motor drive, with sixhour batt Add to Reading List Source URL: www.gradianhealth.org Language: English - Date: 2015-04-22 15:49:41 Mechanical ventilation Medical ventilator Positive end-expiratory pressure Pressure control Tidal volume Flow waveform Modes of mechanical ventilation Medicine Pulmonology Respiratory therapy
783	Implementing a dynamic signal control for the introduction of a tramway service in a microsimulation model of a large-scale network Luigi Costalli Camilla Baroncelli∗ Add to Reading List Source URL: www.mech.kuleuven.be Language: English - Date: 2011-06-10 10:36:21 Traffic simulation Traffic law Traffic signals Microsimulation Aimsun Traffic flow Traffic light Tram Traffic Transport Land transport Road transport
784	ETG-O-F Anlage 3 zum „Vertrag über die Anwendung des Nominierungsersatzverfahrens Online Flow Control“ Das Formblatt ist durch den Betreiber der flexiblen Quelle auszufüllen! Hiermit bestätigt der Betreiber, Add to Reading List Source URL: www.thyssengas.com Language: German - Date: 2013-09-09 08:45:34
785	ETG-O-F Anlage 1 zum „Vertrag über die Anwendung des Nominierungsersatzverfahrens Online Flow Control“ Das Formblatt ist durch den Transportkunden auszufüllen! _____________________________________________________ Add to Reading List Source URL: www.thyssengas.com Language: German - Date: 2013-09-09 08:43:02
786	PerformanceOverall increase of controlled flights – Punctuality settles down – Significant local differences Over the past year the service quality provided by the seven FABEC air navigation service providers Add to Reading List Source URL: www.lvnl.nl Language: English - Date: 2015-02-12 01:32:35 Transport Air Navigation Service Provider Eurocontrol Skyguide Air traffic flow management SESAR Joint Undertaking Air traffic control Air safety Aviation
787	Traffic-actuated Signal Control: Simulation of the User Benefits in a Big Event Real-World Scenario Dominik Grether ∗ Add to Reading List Source URL: www.mech.kuleuven.be Language: English - Date: 2011-06-01 15:51:15 Road transport Traffic law Traffic simulation Signal timing Traffic light Traffic flow Sydney Coordinated Adaptive Traffic System Traffic Simulation Transport Land transport Traffic signals
788	Performance first quarterAirspace user demand continues to ebb significantly The first quarter of 2013 saw a further decline in traffic volume in the airspace of the FABEC partners ANA (Luxembourg), Belgocontrol ( Add to Reading List Source URL: www.lvnl.nl Language: English - Date: 2013-05-30 03:13:20 Transport Skyguide Air Navigation Service Provider Eurocontrol Air traffic flow management Swiss Air Force SESAR Joint Undertaking Air traffic control Air safety Aviation
789	IEEE Paper Template in A4 (V1) Add to Reading List Source URL: www.ewtec.org Language: English - Date: 2014-09-30 08:30:47 Network congestion Transmission Control Protocol Internet protocol suite Computing Data Information Network performance Flow control TCP congestion avoidance algorithm

UPDATE